Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to

Source URL: www.usenix.org

• Software
• Computing
• System software
• Boot loaders
• BIOS
• Rootkits
• System Management Mode
• Concolic testing
• Symbolic execution
• Unified Extensible Firmware Interface
• QEMU
• Software testing

CardValet™ A Debit Card Management and Fraud Mitigation Tool for Cardholders Card Usage Controls • Spending limits can be established to

Source URL: www.theasianbank.com

• Payment systems
• Economy
• Money
• Financial services
• Debit card
• Interac
• Credit card
• EMV

An ISKME Tool for Collaboration Scale Your #GoOpen Initiative ISKME’s OER Professional Development & Support Services ISKME is seeking partnerships to develop new and existing #GoOpen and Future Ready initiatives.

Source URL: www.oercommons.org

• Education
• Open educational resources
• Online education
• OER Commons
• Institute for the Study of Knowledge Management in Education
• Open.Michigan
• Outline of open educational resources

PDS TABLE EXPLORER A web-based visualization tool for viewing, filtering, and downloading PDS3 and PDS4 table data PDS User-Centered Design team Main Features

Source URL: pdstools.arc.nasa.gov

• Comma-separated values
• Data
• Data management
• Computing
• Planetary Data System

  ESCAPIA – LEAD MANAGEMENT SYSTEM CLASS SYLLABUS LMS is a modular tool in Escapia, which allows users to enter, manage, respond, quote and book inquiries from within your software. After minimal setup, you will be a

Source URL: haspmarketing.blob.core.windows.net

CERTIFICATE The Certification Body of TÜV SÜD Management Service GmbH certifies that Lach Diamant Jakob Lach

Source URL: www.lach-diamant.de

• Metalworking
• Business
• Economy
• Machining
• Cutting tool
• Grinding wheel
• Technischer berwachungsverein
• Grinding
• Superhard materials
• Diamond tool

The open source newsroom and workflow management tool. Superdesk delivers the entire publishing cycle for print and broadcast, from ingest to output.

Source URL: www.sourcefabric.org

• Workflow technology
• Business
• Economy
• Newsroom
• Workflow
• Hyperlocal
• Publishing
• Storify
• Mass media

  FAA Design Competition for Universities Airport Management and Planning Design Challenge Developing an integrated web-based tool to enhance Safety Management System (SMS) planning and

Source URL: vsgc.odu.edu

• Safety
• Transport
• Prevention
• Systems engineering
• Administrative law
• Aviation law
• Aviation safety
• Safety management systems
• Airport
• Safety culture
• System safety
• Management system

GLA: A Generic Analytics Tool for e-Learning Daniel Schön, Steffen Sikora, Stephan Kopf, Wolfgang Effelsberg Department of Computer Science IV University of Mannheim Seminar Building A5, Mannheim

Source URL: ceur-ws.org

• Education
• Educational technology
• Learning
• Formal sciences
• Learning analytics
• Analytics
• Educational data mining
• Virtual learning environment
• Learning management system
• Data mining

June 7, 2016 ENDING THE OPIOID EPIDEMIC: NEW PATIENT EDUCATION TOOL AND OTHER RESOURCES FOR HOSPITALS

Source URL: 25d1t615zk143unonqw6pglz.wpengine.netdna-cdn.com

• Medicine
• Chemistry
• Clinical medicine
• Opioids
• Ketones
• RTT
• Morphinans
• Euphoriants
• Naloxone
• Methadone
• Pain management
• Analgesic